Linearly Stratified Models for the Foundations of Nonstandard Mathematics
نویسنده
چکیده
Assuming the existence of an inaccessible cardinal, transitive full models of the whole set theory, equipped with a linearly-valued rank function, are constructed. Such models generalize superstructures and provide a global framework for nonstandard mathematics. MSClassification: 03H05, 03C20.
منابع مشابه
Nonstandard finite difference schemes for differential equations
In this paper, the reorganization of the denominator of the discrete derivative and nonlocal approximation of nonlinear terms are used in the design of nonstandard finite difference schemes (NSFDs). Numerical examples confirming then efficiency of schemes, for some differential equations are provided. In order to illustrate the accuracy of the new NSFDs, the numerical results are compared with ...
متن کاملReverse Mathematics & Nonstandard Analysis: Why Some Theorems Are More Equal than Others
Reverse Mathematics is a program in foundations of mathematics initiated by Friedman ([1,2]) and developed extensively by Simpson ([4]). Its aim is to determine which minimal axioms prove theorems of ordinary mathematics. Nonstandard Analysis plays an important role in this program ([3, 5]). We consider Reverse Mathematics where equality is replaced by the predicate ≈, i.e. equality up to infin...
متن کاملExistence and Uniqueness Results for a Nonstandard Variational-Hemivariational Inequalities with Application
This paper aims at establishing the existence and uniqueness of solutions for a nonstandard variational-hemivariational inequality. The solutions of this inequality are discussed in a subset $K$ of a reflexive Banach space $X$. Firstly, we prove the existence of solutions in the case of bounded closed and convex subsets. Secondly, we also prove the case when $K$ is compact convex subsets. Fina...
متن کاملAn efficient nonstandard numerical method with positivity preserving property
Classical explicit finite difference schemes are unsuitable for the solution of the famous Black-Scholes partial differential equation, since they impose severe restrictions on the time step. Furthermore, they may produce spurious oscillations in the solution. We propose a new scheme that is free of spurious oscillations and guarantees the positivity of the solution for arbitrary stepsizes. The...
متن کاملA nonstandard finite difference scheme for solving fractional-order model of HIV-1 infection of CD4^{+} t-cells
In this paper, we introduce fractional-order into a model of HIV-1 infection of CD4^+ T--cells. We study the effect of the changing the average number of viral particles $N$ with different sets of initial conditions on the dynamics of the presented model. The nonstandard finite difference (NSFD) scheme is implemented to study the dynamic behaviors in the fractional--order HIV-1 ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Log. Q.
دوره 44 شماره
صفحات -
تاریخ انتشار 1998